Implementation and Application of Automata
The 12th International Conference on Implementation and Application of - tomata CIAA 2007 washeld at the Czech Technical ...
اقرأ المزيد
Implementation and Application of Automata (vol. # 3317)
This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
اقرأ المزيد
Implementation and Application of Automata (vol. # 3845)
This volume of the Lecture Notes in Computer Science series contains the notes of the two invited lectures, the 26 papers ...
اقرأ المزيد
Implementation and Application of Automata (vol. # 4094)
This book constitutes the refereed proceedings of the 11th International Conference on Implementation and Application of ...
اقرأ المزيد
Implementation and Applications of Automata : 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and ...
اقرأ المزيد
Information Theory and Network Coding
Information Theory and Network Coding consists of two parts: Components of Information Theory, and Fundamentals of Network ...
اقرأ المزيد
LATIN 2008: Theoretical Informatics : 8th Latin American Symposium, Búzios, Brazil, April 7-11, 2008. Proceedings
The Latin American Theoretical INformatics Symposium (LATIN) is becoming a traditional and high-quality conference on the ...
اقرأ المزيد
List Decoding of Error-Correcting Codes
How can one exchange information e?ectively when the medium of com- nication introduces errors? This question has been investigated ...
اقرأ المزيد
Logic, Language, Information and Computation
The Workshop on Logic, Language, Information and Computation (WoLLIC) is an annual international forum on inter-disciplinary ...
اقرأ المزيد
Membrane Computing
This volume contains a selection of papers presented at the Eighth Workshop on Membrane Computing, WMC8, which took place ...
اقرأ المزيد
Membrane Computing (vol. # 3850)
The papers in this volume cover all the main directions of research in membrane computing, ranging from theoretical topics ...
اقرأ المزيدNeural Network Theory
Neural Networks Theory is a major contribution to the neural networks literature. It is a treasure trove that should be mined ...
اقرأ المزيد
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
اقرأ المزيد
Parameterized Complexity Theory
This book is a state-of-the-art introduction to both algorithmic techniques for fixed-parameter tractability and the structural ...
اقرأ المزيد
Parameterized and Exact Computation : Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings
This book constitutes the refereed proceedings of the Third International Workshop on Parameterized and Exact Computation, ...
اقرأ المزيد
SAT 2005
This book is devoted to recent progress made in solving propositional satisfiability and related problems. Propositional ...
اقرأ المزيد
STACS 2005
Constitutes the refereed proceedings of the 22nd Annual Symposium on Theoretical Aspects of Computer Science, held in Germany, ...
اقرأ المزيد
STACS 2006
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Theoretical Aspects of Computer Science, held ...
اقرأ المزيد
STACS 2007 ; 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings
The Symposium on Theoretical Aspects of Computer Science (STACS) is alternately held in France and in Germany. The conference ...
اقرأ المزيد
Theoretical Aspects of Local Search
Local search has been applied successfully to a diverse collection of optimization problems. It's appreciated for its basic ...
اقرأ المزيد
